A Kevin week
blog.mitrichev.ch·3d·
🧮Z3 Solver
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·13h·
🧠Machine Learning
Vectorization in Python for Machine Learning
dev.to·1d·
Discuss: DEV
SIMD Vectorization
Hamilton–Jacobi–Bellman is just linear duality
guille.site·17h·
Discuss: Hacker News
📈Linear programming
TimeCluster with PCA is Equivalent to Subspace Identification of Linear Dynamical Systems
arxiv.org·1d
🌊Spectral Clustering
Linkage
11011110.github.io·2d
⚔️Lean Tactics
Fast Fourier Transforms Part 1: Cooley-Tukey
connorboyle.io·18h·
📊Frequency Analysis
RAG Explained: Understanding Embeddings, Similarity, and Retrieval
towardsdatascience.com·14h
📊Multi-vector RAG
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·23h·
Discuss: Hacker News
🎯Interactive Provers
Learning languages with the help of algorithms
johndcook.com·13h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Snail Homing and Mating Search Algorithm for Weight Optimization of Stepped-Transmission Shaft
arxiv.org·5h
🌀Differential Geometry
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·5h
🎯Performance Proofs
Bayesian Parametric Matrix Models: Principled Uncertainty Quantification for Spectral Learning
arxiv.org·1d
🌈Spectral Methods
Optimality Conditions for Multivariate Chebyshev Approximation: A Survey
arxiv.org·5h
🧮Kolmogorov Bounds
Concentration inequalities for semidefinite least squares based on data
arxiv.org·1d
🧮Kolmogorov Bounds
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
arxiv.org·5h
🧠Query Planners
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org·1d
🌳Huffman Trees
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
💎Information Crystallography
Enhanced LC-MS Peptide Identification via Augmented Graph Neural Networks and Spectral Deconvolution
dev.to·3h·
Discuss: DEV
🔍Vector Forensics